301. Proceedings of the Second International Conference on Knowledge Capture : October 23-26, 2003, Florida, USA : K-CAP 2003
Author: Sponsored by SIGART, the ACM Special Interest Group on Artificial Intelligence
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Expert systems )Computer science(,Congresses ، Artificial intelligence,Congresses ، Knowledge management,Congresses ، Knowledge acquisition )Expert systems(
Classification :
QA
76
.
76
.
E95I52
2003
302. Processing declarative knowledge : International Workshop, PDK'91, Kaiserslautern, Germany, July 1-3, 1991 :proceedings
Author: H. Boley, M.M. Richter )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Expert systems )Computer science(,Congresses ، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
567
303. Readings in artificial intelligence and databases
Author: edited by John Mylopolous )i.e. Mylopoulos( and Michael L. Brodie
Library: Central Library and Documentation Center (Kerman)
Subject: ، Artificial intelligence,، Expert systems )Computer science(,، Data base management
Classification :
Q
335
.
R4118
1988
304. Readings in artificial intelligence & databases
Author: MYLOPOULOS,JOHN
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ARTIFICIAL INTELLIGENCE , EXPERT SYSTEMS )COMPUTER SCIENCE( , DATA BASE MANAGEMENT
Classification :
Q
335
.
R4118
305. Recent advances in intelligent engineering systems
Author: Janos Fodor, Ryszard Klempous and Carmen Paz Suarez Araujo )eds.(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Expert systems )Computer science( Congresses,، Engineering,، Artificial intelligence,، Engineering mathematics,، Computational Intelligence,، Artificial Intelligence )incl. Robotics(,، Appl. Mathematics/Computational Methods of Engineering
Classification :
QA
76
.
76
.
E95
R423
2012
306. Research and development in intelligent systems XXIV
Author: Max Bramer, Frans Coenen, and Miltos Petridis, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Expert systems (Computer science), Congresses.,Intelligent control systems, Congresses.
Classification :
QA76
.
76
.
E95
S483
2007eb
307. Research and development in intelligent systems XXVI
Author: Max Bramer, Richard Ellis, Miltos Petridis, editors
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Expert systems (Computer science), Congresses,Intelligent control systems, Congresses,Artificial intelligence, Congresses
Classification :
QA
،
76
.
76
،.
E95
,
S483
،
2009
308. Reusable components for knowledge modelling : case studies in parametric design problem solving
Author: Motta, Enrico
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Expert systems )Computer science(,، Artificial intelligence
Classification :
QA
76
.
76
.
E95M675
309. Rule-based programming with OPS 5
Author: Wogrin, Nancy.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Rule-based programming , OPS5 )Computer program language( , Artificial intelligence , Expert systems )Computer science(
Classification :
QA
76
.
6
.
W62
1988
310. STAIRS 2006
Author: / edited by Loris Penserini, Pavlos Peppas and Anna Perini
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Intelligent control system--Congresses,Artificial intelligenc--Congresses,Expert systems (Computer science--Congresses
Classification :
E-BOOK
311. STAIRS 2012 :
Author: edited by Kristian Kersting and Marc Toussaint.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Expert systems (Computer science), Congresses.,Intelligent control systems, Congresses.
Classification :
TJ217
.
5
.
S73
2012
312. Smart environments
Author: / Diane J. Cook and Sajal K. Das
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Expert systems (Computer science),Artificial intelligence,Intelligent buildings
Classification :
QA76
.
76
.
E95
,
C68
2005
313. Smart environments
Author: / Diane J. Cook and Sajal K. Das
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Expert systems (Computer science),Artificial intelligence,Intelligent buildings
Classification :
QA76
.
76
.
E95
,
C68
2005
314. Smart environments
Author: Diane J. Cook and Sajal K. Das.,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Expert systems )Computer science(,Artificial intelligence,Intelligent buildings
Classification :
EBOOK
,
QA
.
E95
,
C68
76
.
76
2005
315. Smart environments
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Expert systems (Computer science) ; Artificial intelligence. ; Intelligent buildings. ;
316. Smart environments
Author: / Diane J. Cook and Sajal K. Das
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Expert systems (Computer science),Artificial intelligence.,Intelligent buildings.
Classification :
QA
,
76
.
76
,.
E95
,
C68
,
2005
317. Smart environments : technologies, protocols, and applications
Author: Cook, Diane J.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Expert systems )Computer science(,، Artificial intelligence,، Intelligent buildings
Classification :
QA
76
.
76
.
E95
C68
2005
318. TREAT :
Author: Daniel P. Miranker.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Artificial intelligence.,Expert systems (Computer science),Parallel processing (Electronic computers)
319. Term Indexing
Author: Peter Graf
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Automatic theorem proving.,Expert systems (Computer science)
Classification :
QA76
.
9
.
A96
P484
1996
320. Term indexing
Author: Graf, Peter, 6691-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving,، Expert systems )Computer science(,، Artificial intelligence,، Indexing
Classification :
QA
76
.
L28
Vol
.
1053
